Pero DivX no tiene nada que ver con los wmv, es un codec diferente. Sólo os haría falta instalarlo y ya podríais ver los videos codificados con DivX
www.divx.com/divx/
Pero me extraña que siendo un wmv vaya codificado con divx (a menos que sea un avi y le hayan cambiado la extensión).