Small molecules targeting the interaction between HIV-1 integrase and LEDGF/p75 cofactor.