Alonso de Antonio, Ángel Luis