There is also HandBrake which (I believe) will allow you to convert AVI files to MP4 or other formats.