How do you export to mp4

I opened FFmpeg library but there were a bunch of folders and I didn’t know what to click to make it possible to export mp4 files.

If you can’t export in mp4, what would be the best free software to convert it?

Instructions for installing FFmpeg for Audacity on Windows are here:
The current version of Audacity (3.0.4) is available here: