choricillos cocidos: