4-(1,3-Benzoxazol-2-yl)-1-(2-isopropyl-6-methylphenyl)-2,3,5,6-piperidinetetrone AIDS-136372 AIDS136372 NSC637684