4,8-Dihydroxy-4-methylbicyclo[3.2.1]octane-1-carbonitrile AIDS-138767 AIDS138767 NSC646205