むむむっ！

何とかMP4形式では再生できるようになったけど、いかんせん、ファイルがでかい！！
AVC形式だと圧縮率が高いとのこと。
携帯動画変換君の
AVC QVGA/29.97fps/VBR QB25 ステレオ/128kbps
で再度エンコード。
フォルダにコピーして、さあ再生！と思ったけど、認識されていな様子？
なぜだろう。拡張子を変えるなどしばし苦闘。
ようやくわかりました。入れるフォルダが違ったのね。100ANV01だそうです。
これで完璧！電車の中で映画鑑賞できそうです。