Application of the aza-Wittig reaction to the synthesis of pyrazinothienotriazolopyrimidinones: a new tetracyclic ring system | Publicación