2-Oxokolavenol