Как переконвертировать RM -> AVI

Подскажите плз, какой программкой можно переконвертировать файл RM (real Video) в обычную авишку (DivX)? И где достать. Спасибо.

???
Что, вообще никто не знает?