In memoriam: Juan Arencibia de Torres