Mirate esto:
www.mundodivx.com/varios/codecs.php Ahí tienes los codec necesarios para reproducir prácticamente cualquier archivo de video.
Y si te dedicas a codificar, te recomiendo usar el XviD, no será el codec más rápido pero sí el que mejor calidad da hoy en dia. Si lo que quieres es velocidad tendrás que buscarte versiones antiguas de DivX (digamos DivX 5.0.1 o así).
Saludos