5-(2-(3-Pyridyl)-1,3-oxazol-5-yl)-2H-benzo[d]1,3-dioxolene AIDS-080547 AIDS080547 Texalin