Evolution of the human pygmy phenotype.