PocketDivxEncoder

これに通したら、読めるファイルができました。
Divxに統一しようかな！
しかし、その前に字幕を失敗していたのでやり直し中。