Automorphy of the principal Eisenstein series of weight 1: An application of the double sine function