2-Benzyl-1,1,3-trioxo-2H,4H-thieno[3,4-e][1,2,4]-thiadiazine AIDS-087095 AIDS087095