Extent of Protein Polymorphism and the Neutral Mutation Theory