As everyone is saying, there are now many options as to how to make DivX conversions. Vidomi, EasyDivx, DVD2AVI, Gaudian Knot and FlaskMPEG all come to mind. But my choices would be Vidomi (because of simplicity and great results) or FlaskMPEG for versitility.
DVD2AVI home site is _http://arbor.ee.ntu.edu.tw/~jackei/dvd2avi/