We saw you can install FFmpeg on macOS via Homebrew. Once installed, running the kind of conversion we just mentioned is straightforward from the command line. `ffmpeg -i video.mp4 -vn -codec:a libmp3lame -q 2 video-audio.mp3` will do the job. Replace `video.mp4` with the path to your input video. The generated MP3 will be available at `video-audio.mp3`