Thread's a little old but try this: avi2mp4 - How to easily create AVC MP4 files from AVI - Doom9's Forum

Alternatively, you can try the application virtualdub, but I'm not 100% sure it can save as mp4, as I'm not at home.