Imidazothiadiazine dioxides: synthesis and antiviral activity.