http://www.tmpgenc.net/e_main.html
but as the other friend said, 沒那個必要! there're many DVD player support DIVX/XVID, such as SHINCO, and not expensive at all. you only need to copy the AVI file into CD-R or CDRW or DVD writable media, and play it with the player! that's easy.
check out your electronic store, don't forget to bring along your favourite DIVX movie disk to test out.