Amadis of Gaul, an opera As it is perform'd at the King's Theatre in the Hay-market