Using O=C1CCC2(CC1)OCCO2, CC1(C)Cc2cccc(C[P+](c3ccccc3)(c3ccccc3)c3ccccc3)c2O1 to produce CC1(C)Cc2cccc(C=C3CCC4(CC3)OCCO4)c2O1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.