Taxon name: Betacoronavirus pipistrelli