The tune of "O Sanctissima" has been notably reused in the first half of a American civil rights anthem that is most commonly attributed as having descended lyrically from what hymn?