(7S,8S,1R,2R)-8-(2-Hydroxy-1-methyleneethyl)-1-methyl-5-methylenebicyclo[4.4.0]decane-2,7-diol AIDS-104096 AIDS104096 Triol derivative of reynosin