Teodorico Pedrini, missionario e musicista nella Cina del Settecento