3,3,5-Triethyl-1-hydroxy-5-vinyl-2,4-pyrrolidinedione 4-oxime AIDS-134734 AIDS134734 NSC633480