Quando importi il wav in Flash, flash lo comprime.
Ci sono vari settaggi, una di queste compressioni è l'mp3.

In ogni caso il prodotto finale resta un file .swf (un file di flash appunto)