I wouldn't have thought any domestic DVD player/recorder would be user programmable with regard to format. Check the manual - usually with playback formats "what you see is what you get".
You could try a DivX to (another format) converter software on your PC then play that back on the DVD player.
This is just an example and cheap enough, google DIVX CONVERTER and it throws up loads.
Have fun ;-)