o que é um duende vermelho para astronomia