4-Butyl-5-(butylimino)-1,2,4-dithiazolidin-3-one AIDS-123959 AIDS123959 NSC3417