Which leading Soviet Armenian composer composed the ballet whose libretto was written by Konstantin Derzhavin?