I found this tool: http://www.divx-digest.net/software/encode/tinra.zip called Tinra which basically converts Real streams into AVIs -- you can then encode those AVIs into a format that you prefer. Note that the program is still very buggy and tends to crash pretty often and also has multiple limitations, but it's still the best solution available at the moment. Also, remember that Real streams are normally in horrible quality and encoding them any further makes them look even worse, so use Real files only in cases that you don't have any other options.