Mazzei, Filippo (1730-1816)