[vdr] divx to mpeg1 or mpeg2

[Clemens Kirchgatterer <clemens@thf.ath.cx>]

i would like to convert a divx file to a format that can be played back
via dvb "hardware". i think mplayer can do this but i couldn't figure
out the right command line paramters.

when i play the file with mplayer i get:

Playing The_Breakfast_Club.avi
Detected AVI file format!
MainAVIHeader.dwFlags: (2064) HAS_INDEX TRUST_CKTYPE
VIDEO:  [DIV3]  720x352  24bpp  23.98 fps  921.0 kbps (112.4 kbyte/s)
[V] filefmt:3  fourcc:0x33564944  size:720x352  fps:23.98  ftime:=0.0417
Detected audio codec: [mp3] drv:1 (MPEG layer-2, layer-3)
Selecting Audio Decoder: [mp3lib] MPEG layer-2, layer-3
mp3lib: made decode tables with MMX optimization
init layer2&3 finished, tables done
mp3lib: using MMX optimized decore!
MPEG 1.0, Layer III, 48000 Hz 112 kbit Joint-Stereo, BPF: 336
Channels: 2, copyright: No, original: Yes, CRC: No, emphasis: 0
AUDIO: srate=48000  chans=2  bps=2  sfmt=0x10  ratio: 14000->192000
=======================================================================
===
Opening Video Decoder: [ffmpeg] FFmpeg's libavcodec codec family
libavcodec: CPU flags: mmx
Detected video codec: [ffdivx] drv:5 prio:0 (FFmpeg DivX ;-) (MS MPEG-4
v3))
=======================================================================
===

does anybody know how to convert this before viewing?

thanx ...
clemens