HIV integrase in complex with inhibitor