Oh, I missed that! In that case,
yt-dlp -x <url>
yt-dlp -x --audio-format mp3 <url>
yt-dlp -f 'ba' -x --audio-format mp3 <url>