BioThesaurus: a web-based thesaurus of protein and gene names.