You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (12S)-8-[4-[(2S)-2-amino-3-(1H-imidazol-5-yl)propanoyl]oxypiperidin-1-yl]-7-fluoro-12-methyl-4-oxo-1-azatricyclo[7.3.1.05,13]trideca-2,5,7,9(13)-tetraene-3-carboxylic acid by IUPAC nomenclature, provide its molecular formula.
user
C25H28FN5O5
assistant