You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
dioxido-oxo-[(2R)-1-phosphonato-3-piperidin-1-ium-1-ylpropan-2-yl]-lambda5-phosphane The above is the IUPAC name of a molecule. Write its molecular formula.
user
C8H16NO6P2-3
assistant