(3R,6bS,8aS,11R,12aR,12bS)-11-Hydroxymethyl-4,4,6b,8a,11,12b-hexamethyl-1,2,3,4,6b,7,8,8a,9,10,11,12,12a,12b,13,14-hexadecahydro-picen-3-ol 25-Nor-5(10)-dehydroisokarounidiol AIDS-113416 AIDS113416