You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name ethyl (3S)-1-[(3-sulfanylidene-[1,2,4]triazolo[4,3-a]pyridin-2-yl)methyl]piperidine-3-carboxylate into its molecular formula.
user
C15H20N4O2S
assistant