How did Antônio Carlos Jobim get his name?

Antônio Carlos Jobim was born Antônio Carlos Brasileiro de Almeida Jobim.