Download & RUN FFmpeg_5.0.0_for_Audacity_on_Windows_x86_64.exe to install it and you should be ready-to-go.
VLC can also export the audio but you’ll have to look-up how to do it. And it MIGHT only give you a WAV file so you’d have to use Audacity or another converter to make an MP3…