What codec or software should I use on my PC to convert/encode files to .mp4 format, so I could watch them on my Nokia 7650 with for example VideoMMS or other .mp4 player?