Proteome analysis of preserved formalin-fixed and paraffin-embedded specimens to explore the pathogenesis of infantile hypertrophic pyloric stenosis