Under the circumstances of lost contact with the Legacy, the correct ATC procedure would have been for Brasilia Center to have called Manaus Center [by telephone] and alerted them about the Legacy's altitude [FL370]. Then Manaus Center would have contacted the GOL B737 and have it vacate FL370...