Is there a way to convert real player format to mp3 or wav? Also is it possible to capture streaming video (Real Player or any other)? If yes, how?