Obras de arte roubadas da biblioteca Mário de Andrade são recuperadas