AIDS-130205 AIDS130205 Butyl 7-(acetylamino)-6-oxo-1,2,5-dithiazocane-4-carboxylate NSC382831