Antonio de Alcedo - Sánchez Astudillo, Miguel 1917-