AIDS-153362 AIDS153362 NSC699840 tert-Butyl 7-oxo-6-azabicyclo[3.2.0]heptane-6-carboxylate