DivX Pro-версия доступен для скачивания на http://www.divx.com/divx/index.php
Можно скачать бесплатную версию, или платную. Но только не просто DivX (он обрезанный).

Или чуть выше в том списке, что вы привели - тоже есть ДивКС.

Т.е. для того, чтобы перегнать видео с ДВД в АВИ нужен DVD-ripping tool, video editing tool, video encoding tool, и конечно codec.

На Doom9.org можно скачать например Gordian Knot 0.21b + update до 0.26. В этом паке есть всё, что нужно, за исключением последнего дивкса (в риппаке старая версия).
OK Спасибо буду пробовать если что напишу список вопросов