2,8a(2H)-Phenanthrenediol,7-ethenyldodecahydro- 1-(hydroxymethyl)-1,4a,7- trimethyl-,(1S,2S,4aS,4bR,7S,8aR,10aR)-