DivX offers good quality and compression ratios.

If you have sufficient room on your hard drive, however, I recommend rendering the animation as an uncompressed AVI, or as an image sequence which can be assembled into an AVI later. Save the compression process for the last step, after you've finished editing and postworking the raw video.

A proper DVD requires MPEG-2 compression in order to work on most set-top players.