3,3-Dimethyl-2-oxobicyclo[2.2.1]heptane-1-carboxylic acid AIDS-145402 AIDS145402 NSC670151