Using C[C@@]1(OCc2ccccc2)[C@H](OCc2ccccc2)[C@@H](COCc2ccccc2)O[C@@H]1O, CON to produce CON=C[C@](C)(OCc1ccccc1)[C@H](OCc1ccccc1)[C@H](O)COCc1ccccc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.