3-(Cyclopropylphenylmethyl)-5,6,7,8,9,10,11,12-octahydro-4-hydroxy- 2H-cyclodeca[b]pyran-2-one AIDS-058367 AIDS058367