(+)-trans-7,8-Dihydro-12-oxocalanolide B (+)-trans-7,8-Dihydroketone AIDS-060492 AIDS060492