who pertimbangkan gunakan rasi bintang sebagai nama varian covid 19