The best free and open source available for all you HTML 5 video needs(which include multiple format conversions) can easily be done with Miro Video Converter. There is little additional information available from the site, but this tool does exactly what the box says:
MP3 (Audio Only)
Although the application is 32 bit, you can run multiple instances to max out your CPU. Also included are profiles for Android and Apple devices as well.