Covalent Inhibition of HIV‐1 Integrase by N‐Succinimidyl Peptides