When was Arnaldo Ribeiro born?

Arnaldo Ribeiro was born in 1930.