>>589
Movie2MPEG というソフト名で検索してみ。
無料の MPEG1 エンコードソフト。
しかし、エンコードにめちゃくちゃ時間がかかる。

MPEG 環境は、やっぱ Windows が充実してるねえと
思い知らされますわ...。