On terpenes. CXCVIII. Isolation and structure of pinguisone from Aneura pinguis (L.) DUM.