7,8,9,10,17,18-hexahydro-12H,16H-11,15-methano[1,4,9,13]thiatriazacyclohexadecino[4,3,2-gh]purine-12,20-dione