Using CC(C)(C)OC(=O)C[P+](c1ccccc1)(c1ccccc1)c1ccccc1, O=Cc1ccccc1C(=O)O to produce CC(C)(C)OC(=O)C=Cc1ccccc1C(=O)O, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.