6,17-Epoxylathyrol;