Mining PeptideAtlas for biomarkers and therapeutics in human disease.