Observation of the 1S-2P Lyman-α transition in antihydrogen