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