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 (1S,3aS)-2-benzyl-1-piperidin-1-yl-3a,4,5,6-tetrahydro-3H-pyrrolo[1,2-c][1,3,2]diazaphosphole 1-oxide ?
user
C17H26N3OP
assistant