Речник на българския език
биха залезли е производна форма на заляза (условно наклонение, 3 л., мн. ч.).