AIDS-125767 AIDS125767 NSC83527 [1,1'-Bicyclohexyl]-2-one, 3,3-bis(hydroxymethyl)-