if you want i'll send you a copy of a video encoding program i have... its pretty easy to take the file, drag it into the program and then select how you want to convert it. What video codec you want and you can even resize it.
ALso i would recommend getting
KLCodecs its a pack that contains pretty much all video codecs and it comes with MPC Media Player Classic, a nice stripped down version of a media player that takes up much less resources. During the install you can click not to install MPC if you just want codecs.