4-Benzoyl-2-benzyl-1,1,3-trioxo-2H,4H-thieno[3,4-e][1,2,4]-thiadiazine AIDS-087111 AIDS087111