You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (1-methylsulfonylpiperidin-4-yl)-[4-(thiophene-2-carbonyl)piperazin-1-yl]methanone into molecular formula.
user
C16H23N3O4S2
assistant