The present invention is directed to compounds of formula (I), and pharmaceutically acceptable salts and solvates thereof, their synthesis, and their use as modulators or inhibitors of the human immunodeficiency virus ("HIV") integrase enzyme. ##STR00001##