An option to VLC, and in my opinion easier to use, is Shutter Encoder a free program. It also has some basic audio processing built in. Drag the mp4 file into the box and select the desired audio file output.
Audio Files Supported
WAV, AIFF, FLAC, ALAC, MP3, AAC, AC3, OPUS, Vorbis, Dolby...