Structures of contortadiol (agathadiol), contortolal (agatholal), and hydroxyepimanool (epitorulosol)