Genome-based reclassification of Williamsia marianensis as a later heterotypic synonym of Williamsia muralis.