AIDS-130989 AIDS130989 NSC617629 tert-Butyl 2-oxopropylcarbamate