4-(2-(5-tert-Butyl-2-oxocyclohexyl)-2-hydroxyethyl)-1-phenyl-2,6-piperidinedione AIDS-131087 AIDS131087 NSC621400