Decarboxylative Cyclization of Proline with o-Alkynylbenzaldehyde through an Unexploited 8π-Electrocyclization: A DFT Study.