You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by 7-[1-[3-(6-chloronaphthalen-2-yl)sulfonylpropanoyl]piperidin-1-ium-1-yl]-3-methylimino-5,6-dihydro-[1,3]thiazolo[3,4-a]pyrazin-8-one ?
user
C25H28ClN4O4S2+
assistant