who PETROL discovered