Hola, pues como tú bien dices, te basta con bajarte los códecs del Divx 5.5, prueba a bajártelo desde
http://www.divx.com, bájate la versión más simple, que sólo vale para reproducir los vídeos y no para comprimir, pero así no tienes que pagar y tampoco tiene adware.
Salud y suerte
