Avidemux would have also worked. I have used this many times to convert to other formats and there are some nifty presets like iPod which is a preset for the .mp4 video and audio settings used by an...