Polycyclic carbamoylpyridone derivative having hiv integrase inhibitory activity

A compound of the formula:

• (wherein,
• A ring is an optionally substituted hexahydro-1H-pyrrolo[1,2-c]-imidazole;
• the stereochemistry of an asymmetric carbon represented by * shows R- or S-configuration, or a mixture thereof;
• R14 and RX are independently hydrogen or optionally substituted lower alkyl;
• R3 is hydrogen, halogen, hydroxy, optionally substituted lower alkyl, optionally substituted cycloalkyl, optionally substituted lower alkenyl, optionally substituted lower alkoxy, optionally substituted lower alkenyloxy, optionally substituted aryl, optionally substituted aryloxy, optionally substituted heterocyclic group, optionally substituted heterocycleoxy or optionally substituted amino);
• R1 is hydrogen or lower alkyl;
• R is halogen;
• m is an integer of 0 to 3;
• or a pharmaceutically acceptable salt thereof.

A compound selected from the group consisting of:

• (4 aR,13 aS)—N-[(2,4-Difluorophenyl)methyl]-10-hydroxy-9,11-dioxo-2,3,4a,5,9,11,13,13a-octahydro-1H-pyrido[1,2-a]pyrrolo[1′,2′:3,4]imidazo[1,2-d]pyrazine-8-carboxamide;
• (4aS,13aR)—N-[(2,4-Difluorophenyl)methyl]-10-hydroxy-9,11-dioxo-2,3,4a,5,9,11,13,13a-octahydro-1H-pyrido[1,2-a]pyrrolo[1′,2′:3,4]imidazo[1,2-d]pyrazine-8-carboxamide;
• and
• (4aS,13aR)—N-[(4-Fluorophenyl)methyl]-10-hydroxy-9,11-dioxo-2,3,4a,5,9,11,13,13a-octahydro-1H-pyrido[1,2-a]pyrrolo[1′,2′:3,4]imidazo[1,2-d]pyrazine-8-carboxamide;
• enantiomers thereof;
• diastereomers thereof;
• mixtures of enantiomers thereof;
• mixtures of diastereomers thereof;
• mixtures of enantiomers and diastereomers thereof;
• and pharmaceutically acceptable salts thereof.