Fallece el escenógrafo David Antón