You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
ethyl 2-[(E)-(2-hydroxy-4,4-dimethyl-6-oxocyclohexen-1-yl)methylideneamino]-4,5,6,7-tetrahydro-1-benzothiophene-3-carboxylate The above is the IUPAC name of a molecule. Write its molecular formula.
user
C20H25NO4S
assistant