Which astronomer gave his name to a telescope launched into space in 1990?