egal ob MP3, AAC oder WMA: Die Größe der Datei hängt von der Bitrate ab. Und die kannst Du bei jedem Format beim kodieren auswählen.
Meine Erfahrung (vor 3,5 Jahren, als ein PocketPC in Farbe noch eine Sensation war und die Dinger nur 32MB hatten):
WMA-Files, die mit 64 Kbps kodiert sind klingen dramatisch besser als entsprechende MP3-Files. Bei AAC weiss ich es nicht, aber da habe ich gehört, dass da auch die niedrigen Raten auch noch okay klingen.
...aber eine Software für den Mac? Der Windows Media Player beinhaltet eine Option, die gesamte Bibliothek von MP3 in WMA zu portieren. Ob das auch bei der Mac-Version des Players so ist, musst Du mal nachsehen!