Divx will play the file, I believe. You may also wanna look for a program called GSpot, which will automatically download codecs and tell you what program is neccesary for that particular file.

I just use BSPlayer, but that isnt neccesary for ya.