Definitely mp3. Nice compression, nice sound. That's all I use in my Flash stuff.
Also watch the audio quality. If you publish with it set to "low" you'll get substandard audio. Try it on "Medium" and if it's still too gritty push it up to "high" (of course this will raise your .swf file size also).