6-oxo-6a,12a-dehydrodeguelin