I'm not sure. Possibly if you try ffmpeg's -a copy and such, it'll simply extract the AAC. Let me know if it works for you. I've always wanted mp3 in the past so I didn't mind the transcoding.