You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3R,4S)-4-hydroxy-1-methyl-N-[(4-propyl-1,2,4-triazol-3-yl)methyl]piperidine-3-carboxamide is the IUPAC name of a molecule. Please give its molecular formula.
user
C13H23N5O2
assistant