At least on a Mac, the only way I know of is to use a capture utility to capture the video then recompress it. There may be some higher end compression software that can work with Real files, but I don't know of any and it would probably be rather expensive.