4-(1-Naphthyl)-2,4-dioxo-N-(1,3-thiazol-2-yl)butanamide AIDS-134284 AIDS134284 NSC631854