Para poner sonido en formato de dispositivo hay que hacer un puente entre el sonido que usas en flash y el sonido real que quieres usar, en tu caso MIDI. Para ello tienes que hacer lo siguiente:
1) Importar a la biblioteca un sonido (el que quieras, recomendable de peso reducido) que sea soportado por el ide de flash, lo más habitual MP3 o WAV. Para ello Archivo > Importar > Importar a biblioteca.
2) Una vez que lo tienes en la biblioteca, seleccionas con botón derecho y apartado Propiedades (Properties).
3) En ese panel verás que indica configuración de exportación (Export Settings), y ahi una caja que indica sonido de dispositivo, ahi das a examinar y buscas tu MIDI. Aceptas.
4) Cuando publiques tu película, flash "sustituirá" al vuelo el sonido de la biblioteca por el dispositivo (MIDI) que elegiste, con lo que lo tendrás listo.
Saludos!