AVI to MP4

Convert at AVI→MP4 for universal playback.