Evaluation of DNA extraction methods from mouse stomachs for the quantification of H. pylori by real-time PCR.