Drop it on Roxio Toast or buy a cheap second dvd-player
Toast can convert it for you before burning the dvd if you set it to do so.
The conversion will be quite time-consuming however.
If you want to do it more often, an alternative might be be you just burn the divx files without any converting, buy one of those really cheap dvd players from Asia that can handle playing divx files (some you can get over here for about 30-40 euro's) , and play divx-dvd's on your TV directly.