¿Qué nombre se dio al primer asteroide conocido, descubierto en 1801?