Inverse electron demand Diels–Alder reactions in chemical biology | Synapse