使用Windows的“录音机”工具录制声音后，保存的声音文件的格式为______。