Fallece Antonio Mingote, maestro del humor espańol