5-Allyl-5H-pyrido[3,4-b][1,4]benzothiazine 2-butenedioate AIDS-156126 AIDS156126 NSC166594