Imidazotriazinone or imidazopyrazinone derivatives, and use thereof | Patent Publication Number 20170166572 | Patexia