On the Glivenko-Frink theorem for Hilbert algebras