A formal synthesis of (+)-lactacystin

A synthetic route to the neurotrophic agent (+)-lactacystin has been developed utilizing a base-promoted intramolecular alkylidenecarbene C–H insertion as the key transformation.