What is the birth name of Ivan Lins?

Ivan Lins's birth name is Ivan Guimares Lins.