Searching for Local Similarities between HIV-1 and Human Proteins. Application to Vaccines