I put ffmpeg into the Software Manager search box and got lots of ffmpeg related stuff but nothing called ffmpeg. Maybe it's not allowed in Mint. I would have liked to compare the Audacity speed with the command line speed but never mind. I can still do conversions in Audacity.