Oxygen isotope effect in superconducting (Y1−xPrx) Ba2Cu3O7−δ