Cyclic peptide inhibitors of HIV-1 integrase derived from the LEDGF/p75 protein