Greve dos servidores do Hospital Oswaldo Cruz é encerrada