人工合成制作的电子数字音乐文件是()。