Using CC(C=O)Cc1ccc(C(C)(C)C)cc1, c1ccc([P+](Cc2ccc3c(c2)OCO3)(c2ccccc2)c2ccccc2)cc1 to produce CC(C=Cc1ccc2c(c1)OCO2)Cc1ccc(C(C)(C)C)cc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.