Kirche St. Antonius, Kirche des Stephansstiftes