Tal vez sea este el codec que necesites, puedes buscarlo en internet
es gratuito, yo lo encontré hace ya un buen tiempo, pero no recuerdo
la pagina. Este no es DivX.
Te transcribo el inicio del texto del archivo -MPG4VK1.inf- que esta
compactado en un zip junto con los codecs, fíjate en el nombre del
último.

Si lo quieres intentar y no lo encuentras en la red, te lo puedo
enviar por correo, pesa 421k



; Microsoft MPEG-4 VKI Video Codec install


[Source Media Descriptions]
1 = "MS MPEG-4 Codec Disk" , TAGFILE = MPG4c32.dll

[Installable.Drivers]

mpg4 = 1:MPG4c32.dll, "vidc.mpg4", "Microsoft MPEG-4 Video Codec
V1", , ,

mp42 = 1:MPG4c32.dll, "vidc.mp42", "Microsoft MPEG-4 Video Codec
V2" , , ,

mp43 = 1:MPG4c32.dll, "vidc.mp43", "Microsoft MPEG-4 Video Codec
V3" , , ,