Juan Lorenzo - García Gutiérrez, Antonio, 1813-1884 (Spanish drama.)