AAC would probably be a better choice as it is the improved industry standard alternative to MP3 and part of the MPEG standards, and has wide support amongst players.
I would not recommend WMA as it is a proprietary codec and support is limited compared to other formats.