AIDS-017560 AIDS017560 [Bicyclohexyl]-1,1'-diol