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