You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named methyl 4-amino-5-carbamoyl-2-(3-hydroxypiperidin-1-yl)thiophene-3-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C12H17N3O4S
assistant