DivXtoDVD is the way to go then - Looks like they have decided to ask for money these days, so here is a link to the last freeware version. of DivXtoDVD. It will take your DivX file and create a vobset for burning to DVD. It will work fine, but will not have a menu, it will just start playing when you insert into the DVD player.

http://www.aplusfreeware.com/categor...DivxToDVD.html