4-Hydroxy-8-oxobicyclo[3.2.1]octane-1-carbonitrile AIDS-138772 AIDS138772 NSC646210