Philipp (Johann P.) Koch (German, ?–1796)