Short answer: try this place:
http://koepi.roeder.goe.net/xvid.shtml
Long answer:
Terribly sorry, I wasn't paying attention. XVID is the open-source version of DIVX, but for some strange reason,
there are no official binaries -- the developers flatly refuse to supply an installer on their website. So every time I need the codec, it turns into a goose chase for the latest site with the latest installer. Should've just used DIVX ..