From the Berkovits formulation to the Witten formulation in open superstring field theory