Думаю, вы сами полностью снести кодек не сможете. Там надо руками чистить. Или в любом поисковике поищите полное удаление DivX.
Скачать можно тут:
http://www.9down.com/search.php В строке поиска наберите DivX.
Качайте какую-нибудь версию 6ххх.
После 6-ки начались конфликты между DivX и xVid.
Я только одного не пойму, в xVid попробовали? Он нисколько не хуже DivX, если заработает, ничего переставлять не придётся.