11a-Phenyl-9,10-dihydronaphtho-[1,2-d]thiazolo-[5,1-b]pyrrol-7(11aH)-one AIDS-005617 AIDS005617 Naphthothiazolopyrrol-7-one, Ph deriv.