3-Thiophenebutanamide, N-2-benzothiazolyltetrahydro-4-oxo-5-(2-thienylmethylene)-2-thioxo-, (5Z)- AIDS-225332 AIDS225332