AIDS-220666 AIDS220666 Benzoxazole, 2-[(1-naphthalenylmethyl)thio]-