Ja spróbowałbym Dr.DivX . Sam w nim trochę konwertowałem i efekt był suer.Co prawda 11GB to dużo (chyba masz troche czasu)
Opis:
Najnowsza wersja aplikacji służącej do konwersji plików filmowych do formatu DivX, autorstwa twórców tych popularnych kodeków. Program umożliwia pobranie materiału filmowego praktycznie z dowolnego źródła (plik, kamera cyfrowa i internetowa, obraz telewizyjny, itd.), a następnie jego kompresję w DivX'ie w formatach MPEG1, MPEG2, MPEG4, AVI oraz WMV. Dr. DivX oferuje podstawowe narzędzia edycyjne, jak usuwanie przeplotu, zmianę rozmiaru filmu, czy przycinanie (crop). Pakiet instalacyjny zawiera kodeki DivX 5.1.2.
Link:
http://expandinglimits.com/drdivx/node/7
a tu masz linki i opisy do innych programów:
http://www.divx.howto.pl/
Pozdrawiam