rioj, existen los .divx tambien.
Es una extension muy poco utilizada, supongo que esos videos tendran algun contenido especial? subtitulos por ejemplo? menues?
Proba con el VirtualDubMod, con el vas a poder guardar a AVI sin recomprimir, pero de seguro solo te detecte audio y video o puede que ni siquiera te lo abra, dado que el programa no soporta oficialmente ese formato, todo depende de que contenga el .divx