AIDS-043880 AIDS043880 Benzodithiole carbamic ester der. Carbamic acid, propyl-, 2-[(3Z)-3H-1,2-benzodithiol-3-ylideneamino]ethyl ester