3-(2-Piperidylethyl)-6-propanoyl-3-hydrobenzothiazol-2-one 6-Benzoyl-benzothiazolin-2-one der. AIDS-080063 AIDS080063