Natació als Jocs Olímpics d'estiu de 1972 - 100 metres lliures masculins