4-(1,3-Benzoxazol-2-yl)-1-(2,4-dichlorophenyl)-2,3,5,6-piperidinetetrone AIDS-132345 AIDS132345 NSC625891