You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (7S)-2-[(4-cyclopropyl-5-oxo-1H-1,2,4-triazol-3-yl)sulfanylmethyl]-7-methyl-5,6,7,8-tetrahydro-3H-[1]benzothiolo[2,3-d]pyrimidin-4-one into molecular formula.
user
C17H19N5O2S2
assistant