Taxon name: Alphacoronavirus pipistrelli