Tricyclic HIV integrase inhibitors V. SAR studies on the benzyl moiety.