是谁发现石油干洗的原理