At that 1st link the mirror1 link doesn't work. Try Mirror2 at the Nimo link.

You mean you tried VLC & it didn't work?! I would be surprised. VLC has all its codecs built-in within it. It plays all but the odd wmv file. The only downside to it is its controls are a bit sloppy at times. Try it: http://www.videolan.org/vlc/

For codecs you could try an alternative if you have difficulty with mirror 2; try http://www.k-litecodecpack.com/