reference to doctor faustus