tetrahydropentalenolactone