Conversione ram divx

[Teno77]

salve a tutti
ho un problemino e parecchi files in formato real player (ram)
che dovrei convertire in divx
che programma posso usare per convertire i files?

grazie a tutti

[mister pink]

Prova con questo:

http://www.erightsoft.com/SUPER.html

o con questo:

http://mediacoder.sourceforge.net/