https://www.dmoz.org/Computers/Multimedia/MPEG/DivX

and the pages that it points to, list a mass of stuff, but which is the correct codec? I have waded through such lists before when looking for codecs. And when I have downloaded it, where in my computer should I put it to install it?