3-(Cyclopropylphenylmethyl)-5,6,7,8,9,10,11,12,13,14-decahydro-4-hydroxy- 2H-cyclododeca[b]pyran-2-one AIDS-058368 AIDS058368