下列文件格式中，属于网络音乐主要格式的是（）。