Authorware系统中自带有一个声音转换的命令，它对WAV文件有很好的压缩功能，使用它转换WAV文件后的声音文件格式是（）。