Compounds of Formula I are inhibitors of HIV integrase and inhibitors of HIV replication: (I), wherein X is O or N(R3) and R1, R2, R3 and Y are defined herein. The compounds are useful for the prophylaxis or treatment of infection by HIV and the prophylaxis, treatment, or delay in the onset or progression of AIDS. The compounds are employed against HIV infection and AIDS as compounds per se (or as hydrates or solvates thereof) or in the form of pharmaceutically acceptable salts. The compounds and their salts can be employed as ingredients in pharmaceutical compositions, optionally in combination with other antivirals, immunomodulators, antibiotics or vaccines.