>>332
「参照」でそのDivXファイルを指定し、下の「設定」でmpeg2、他ビットレートなどを設定。
ファイル→ファイルに出力→MPEGファイルでどう？
もしDVDビデオにする気なら
フリー「VSO Divx to DVD Converter」使った方が楽。
そもそもDVDを焼くドライブがあればソフトもついてると思うが。