The present invention relates to compounds of formula (I) wherein c, X, Y, R2, R3, R4 and R6 are as defined herein, compositions and uses thereof for treating human immunodeficiency virus (HIV) infection. In particular, the present invention provides novel inhibitors of HIV integrase, pharmaceutical compositions containing such compounds and methods for using these compounds in the treatment of HIV infection.