Using CC(C)C[Al+]CC(C)C, C[C@@H]1C[C@H](C)CC(C(=O)[O-])(C(=O)[O-])C1 to produce COC(=O)C1(C=O)C[C@H](C)C[C@H](C)C1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.