fixed star of the first magnitude in the constellation Leo.