How to use realplayer to convert videos to mp4