Yo tengo un portatil con salida hdmi, y lo he conectado por esa vía a un plasma panasonic, y le he metido de todo sin problemas(mkv, divx, xvid...), y por supuesto con sonido. Puede darse el caso de que ese divx en concreto lo tengas dañado o utilice un codec que tu lector no reconozca, prueba con otros archivos. Debería funcionar.

Si necesitas un dvd que lea divx, te recomiendo el philips dvp 3260 (yo lo tengo), que ademas de leerlo todo, tiene puerto usb y lee también de todo a través del usb. Cuesta 60 leros en el corte ingles, por ejemplo. Si lo quieres con hdmi, entonces el philips 5990, que esta por 100 leros, pero hasta hace poco lo he visto por 70 en un par de sitios.

PERO, SI NO NECESITAS QUE LEA DISCOS, creo que te sale mejor que te compres un Western Digital TV HD, que por 100-120 leros, lee y reproduce ademas archivos de alta definición mkv, directamente desde disco duro por usb.

Saludos.