You can use
WinAVI video converter, but this is not free software:
http://www.
winavi.com/
Or you can try the free, but *maybe* buggy DivXToDVD software by vso software:
http://www.vso-software.fr/download.htm
Also DVDSanta I heared is good, but again not free and annoying text placed in final video:
http://www.dvdsanta.com/
Hope this helps.