AIDS-191268 AIDS191268 Ethanone, 1-(2-thianthrenyl)-