The best free mp4 to mp3 converter that still works in 2025?

There are a couple of mp4 videos recorded from our camera and the videos are pretty big (~2GB each one.) Unfortunately, the built-in windows media player does not have an export feature to mp3. Does ...