AIDS-137972 AIDS137972 Ethyl 7-(hydroxy(oxido)amino)bicyclo[4.1.0]heptane-7-carboxylate NSC643744