Armas Pacheo, Manuel de, 1917-.