Juan de Mairena - Machado, Antonio (Espasa-Calpe)