How Many Proteins Are There