The Shimura-Taniyama conjecture was originally known as the Weil conjecture see [http://www.ams.org/notices/199511/forum.pdf][1], also see the comment of Weil on page 7 (with other examples) in his response to Lang on the same issue as in the question posed here. 

Additionally, the Frey curve was actually first considered by Yves Hellegouarch.


  [1]: http://www.ams.org/notices/199511/forum.pdf