Pimsner algebras and Gysin sequences from principal circle actions