6-(Benzyloxy)-6-cyclopropyl-2-isopropyl-4-thia-1-azabicyclo[3.2.0]heptan-7-one AIDS-142729 AIDS142729 NSC660368