AIDS-161154 AIDS161154 Benzyl 2-tert-butyl-4-oxo-1-imidazolidinecarboxylate NSC674223 NSC674224