(untitled) - Theisen, P D; Heathcock, C H (J. Org. Chem., 1988)