you can use a program called handbrake which is free and will encode to .mp4.

Dan