下列多媒体文件格式中，经过压缩的是（       ）。