(4aS,6aS,12S,12aR,12bS)-4,4,6a,12,12b-Pentamethyl-1,3,4,4a,5,6,6a,12,12a,12b-decahydro-2H-benzo[a]xanthene-9,10-diol 15-.alpha.-Methylpuupenenol AIDS-088789 AIDS088789