juan de marchi is mentioned in the documentary movie salvador allende of patricio guzman