Gorvea y Badillo, José Lucas, active 1792, of Lima; brother of Eusebio de Gorvea y Badillo