2-(2-Naphthylmethyl)-1,3-thiazoline AIDS-027738 AIDS027738 Thiazole deriv.