How do you convert .rvmb (Real Player) into .avi (DivX)?

[anita_tran_cutie]

I know that you can just download Real Player and watch the videos, but I want to convert to .avi and watch it on my TV.
Does anyone know any good methods of converting the formats?