You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
5-(aziridin-1-yl)-1,2-dicyclopropyl-7-(3,4-dimethylpiperazin-1-yl)-6-fluoro-8-methoxy-4-oxoquinoline-3-carboxylic acid The above is the IUPAC name of a molecule. Write its molecular formula.
user
C25H31FN4O4
assistant