A compound of the formula (I): ##STR00001## wherein Z.sup.4, Z.sup.5 and Z.sup.9 each is independently carbon atom or nitrogen atom; Y is hydroxy, mercapto or amino; R.sup.A is a group of the formula: ##STR00002## (wherein C ring is nitrogen-containing heteroaryl) has an inhibitory activity against integrase.