You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (2-bromo-7-oxo-8-phenyl-4,5-dihydrothieno[2,3-a]quinolizin-10-yl) hydrogen carbonate into molecular formula.
user
C18H12BrNO4S
assistant