AIDS-148254 AIDS148254 Benzyl 5-sec-butyl-2-imino-4-oxo-1-imidazolidinecarboxylate NSC680098