(1S)-7β-Ethenyl-1,3,4,4b,5,6,7,8,8aα,9,10,10aα-dodecahydro-9β-hydroxy-1,4bβ,7-trimethyl-2H-4aβ,1β-(epoxymethano)phenanthren-12-one