Rivas, Joseph de, editor of F, de Castro's Comico festejo.