mayor of Brighton — the mayor of the Borough of Brighton before the 1997 formation of Brighton and Hove