Am besten holt ihr euch die aktuelle Version von SUPER, die findet man eben auf der Herstellerseite; Chip ist oft nicht aktuell.
Mir ist kein DVD Ripper bekannt, der 64Bit kann. Ich nehme meistens dAVIdeo, aber "Gordian Knot" soll sehr gut sein (für 32Bit eben).
Was ist denn das Problem mit der DivX Datei...? Sollte doch reichen.
Und mein SUPER kann DivX Dateien komprimieren, hab's grad selber getestet. Abgesehen davon, dass es totaler Unsinn ist, eine komprimierte Datei nochmal zu komprimieren, damit es eine andere Endung ist. Kann nur hoher Qualitätsverlust bei rum kommen.
Sonst versuch mal StaxRip, der nimmt u.a. diesen x249 Codec oder wie der heißt, da bekommst du gute Quali in gute Dateigröße. Aber vergiss nicht, super klein und super gut geht nicht, man muss Kompromisse eingehen. Aber bei 500kbps sieht's bei StaxRip immernoch sehr gut aus.