You don't need a "DivX" player...you just need the codecs. Go to

download.divx.com/divx/DivX502Bundle.exe

And get the package for the codecs. Don't install the player -- once the codecs are installed, just use windows media player to watch DivX movies.