2,5-Di(1-naphthyl)-3-phenyl-1,3.lambda.~5~-thiazol-4-ol AIDS-132813 AIDS132813 NSC627566