3-(5-tert-Butyl-2-oxocyclohexyl)-1-(4-methoxyphenyl)-2,5-pyrrolidinedione AIDS-141442 AIDS141442 NSC657015