You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name [6,8-dichloro-1-cyclopropyl-7-[3-methyl-4-[(5-methyl-2-oxo-1,3-dioxol-4-yl)methyl]piperazin-1-yl]-4-oxoquinolin-3-yl] hydrogen carbonate into its molecular formula.
user
C23H23Cl2N3O7
assistant