6,7-Dihydromicromonocyclol