当前使用PCI声卡，为了能支持质量较高的MIDI音乐的输出，所使用的MIDI合成器是(　　　)。