4-(1,3-Benzothiazol-2-yl)-1-(2-ethylphenyl)-2,3,5,6-piperidinetetrone AIDS-135162 AIDS135162 NSC634508