Ratos de Porão: nomes verdadeiros, instrumentos e a história do punk brasileiro que atravessou fronteiras