Esto te será de gran ayuda:
www.mundodivx.com/varios/codecs.php
Con ese programa, el gspot, averiguarás los codec que necesitas, y luego tienes los link para descargarlos. En concreto el DIV3 es el DivX 3, con lo cual bastaría que te bajes el codec divx y lo instales. Como recomendación, instala el DivX, el XviD, el AC3 y el OGG, con esos podrás ver y oir la mayoría de los videos, luego si necesitas otro codec menos habitual lo buscas e instalas.
Como reproductor te recomendaría el bsplayer o el media player classic o el viplay, mejor que el windows media player.
Suerte
