MP3文件是目前较为流行的音乐文件，它是采用下列(　　　)标准对数字音频文件进行压缩而成的。