HIV integrase strand transfer inhibitor