AVI to MP4

Convert AVI files to MP4.