Analysis of methanogen diversity in a hypereutrophic lake using PCR-RFLP analysis of mcr sequences