Proteocephalus gibsoni nom. nov. for Proteocephalus ocellatus Rego and Pavanelli, 1990 preoccupied by Proteocephalus ocellatus (Rudolphi, 1802). Revista Brasileira de Biologia, 51(4) 1992: 701. 701 [Zoological Record Volume 129]