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