Found a nice .app
after install, click on .app and it opens a window. Just drag your FLAC files into it, select bit rate quality, and hit "convert". The new MP3 files appear in the same location as the FLAC files.
(I have no connection with the creators of this software)