list the composition that was first performed on 1725-05-20.
(AND music.composition (JOIN music.composition.date_of_first_performance 1725-05-20^^http://www.w3.org/2001/XMLSchema#date))