Contraloría General de la República de Costa Rica building, San José