For 9, I would just go with youtube-dl -f 140 (or 141 in some cases). No reason for lossy->lossy conversion.
I chose mp3 because it's the only format my ipod accepts. The formats it downloads by default won't play, even if they might be higher quality.