>>594 詳しいわけじゃないけど、alltoaviでdivX変換できたよ。
GOMでOGMすらカクカクなPen4 1.6GHzでも、DivXならサクサクいった。
↓で、とりあえず自分が成功した方法↓
1. まず、mkv→avi変換したいファイルを、空のフォルダに移動しておく
2. avlltoavi_GUI.exe 起動
3. Step1: Pick Directory で、1. でファイルを移動したフォルダ選択
4. Step2: MKV を選択
5. Step3: 1st sub を選択
6. Step4: 1st audio を選択
7. Step5: 700KBPS を選択
8. Step6: DIVX50 を選択
9. Step7: 640:480 に変更
10. Start をクリック。その際、エラーメッセージだか、確認メッセージだかが表示されるが気にせず OK
11. しばし、ほっとく
∧,,∧ 。・。゚・。 ゚・。゚・ できたよ〜
12. ( ´・ω・)つ\・゚・ 。・゚・・/
P.S. あくまで自分がやってみて成功した方法なので、これ以外でも勿論できると思う。