I did what Cyclocide suggested and installed the codec. During installation, it said that the codec I was trying to install was older than the one I had. I installed it anyway, and guess what? I can play DIVX/AVIs now with Windows Media Player! Thanks, dude!