The present invention provides the following compounds having anti-viral activity. A1 is CR1AR1B, S or O; A2 is CR2AR2B, S or O; A3 is CR3AR3B, S or O; A4 is CR4AR4B, S or O; the number of hetero atoms among atoms constituting the ring which consists of A1, A2, A3, A4, nitrogen atom adjacent to A1 and carbon atom adjacent to A1, is 1 or 2; R1A and R1B are each independently hydrogen, halogen, alkyl, or the like; R2A and R2B are each independently hydrogen, halogen, alkyl, or the like; R3A and R3B are each independently hydrogen, halogen, alkyl, or the like; R4A and R4B are each independently hydrogen, halogen, alkyl, or the like; R3A and R3B may be taken together to form non-aromatic carbocycle or non-aromatic heterocycle; X is CH2, S or O; R1 is each independently halogen, hydroxy, or the like; m is any integer of 0 to 2; and n is any integer of 1 to 2.