The way I've done it is to use one of the aforementioned add-ons to save the FLV or M4V file to disk, then open it in
VLC and use its Convert/Save option. It can save to MP3 directly, though I prefer to save to WAV and use a separate MP3 encoder (
LAME) on that so I can fine-tune the process.