You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name dimethyl 8-(benzenesulfonyl)-2-oxo-1,4,6,7-tetrahydroazulene-5,5-dicarboxylate ?
user
C20H20O7S
assistant