2(3H)-Benzimidazolethione AIDS-020303 AIDS020303