Busca por aqui, hay muchos codec para mpeg4 (divx, xvid, etc...)
www.mundodivx.com/varios/codecs.php
Aunque el que creo que necesitas, si de nombre es el MPG4, está aqui:
www.mundodivx.com/varios/codecs.php?p=2
Lo mejor es que con el GSpot mires qué codec necesitas exactamente y luego te lo instalas.
Suerte
