Using FFmpeg for Audacity command line tool, here’s a simple batch file that lets you drag a series of MP4 files on top of the batch file, and it will convert them all to MP3.