Amadis of Gaul, an opera by Nicola Francesco Haym