1-Hydroxy-3,5-dimethyl-5-(1-propenyl)-3-propyl-2,4-pyrrolidinedione 4-oxime AIDS-134735 AIDS134735 NSC633481