You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named bis(propan-2-yloxycarbonyloxy)methyl-[(E)-4-(2,4-dioxopyrimidin-1-yl)but-2-enyl]-oxophosphanium by IUPAC nomenclature, provide its molecular formula.
user
C17H24N2O9P+
assistant