High-throughput genotyping of high-risk Human Papillomavirus by MALDI-TOF Mass Spectrometry-based method.