32F417: MP3 encoding

[SiliconWizard]

As an alternative, you could consider a dedicated chip like the VS1063: https://www.vlsi.fi/en/products/vs1063.html and just interface it with your MCU.
Not the cheapest alternative of course, but would get you both encoding and decoding, also support other formats than MP3, with minimal CPU intervention.