IMO the Canon 135mm f/2L lens is top performing astro imaging lens.
For daily use it's one of the sharpest lenses Canon makes, only second to the magnificent 300mm f/2.8L but approx $4k cheaper.
Have a look at
the Antares region which Paul took recently with this lens.