AIDS-134410 AIDS134410 N-Formyl-3-oxobutanamide NSC632227