Bioinformatics search engine for protein isoelectric points