Johannes Dietrich (Schwimmer, Österreich)