AIDS-146236 AIDS146236 NSC672440 tert-Butyl 1-cyclohexyl-2-oxo-3-pyrrolidinylcarbamate