You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (3S,4S)-4-(1,3-benzodioxol-5-yl)-1-[[2-(ethylamino)pyrimidin-5-yl]methyl]piperidin-3-ol ?
user
C19H24N4O3
assistant