.beta.-Phenylethyl 6,7-dihydroxy-2-naphthoate AIDS-085235 AIDS085235 NSC666593