请问要用什么才能把其他播放格式压缩成REAL格式呢？知道的请说一下好吗？有这方面的工具的请传一个好吗？？