You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 1-(1,3-benzodioxol-5-yl)-N-[(1R)-1-[3-(2-methylpropyl)-1,2,4-oxadiazol-5-yl]ethyl]piperidin-4-amine into its molecular formula.
user
C20H28N4O3
assistant