8,8-Dimethyl-2-oxobicyclo[3.2.1]octane-3-carbaldehyde AIDS-141710 AIDS141710 NSC657838