I would use to convert AAC to MP3, but this might not necessarily suit you, as it works best when you import all the files into your iTunes jukebox and then convert from there.
Am I correct in guessing that your son's band uses Macs?
If so, iTunes is definitely the way to go. (iTunes works on Windows as well.)