Não é possível trabalhar diretamente com som MIDI no flash, entretanto você poderá importar tanto WAV como MP3, que será comprimido ao você exportar o filme, a taxa de compressão do flash 5 é muito boa, permitindo que o proprio MP3 que já é um formato pequeno, fique menor ainda.

Sidney Ganho