If you're converting more than a few audio files, using graphical tools (including online tools or apps) can be a laborious ...
You can convert a video to an MP3 file using Adobe Media Encoder, which can help save you storage space on your device.