Velázquez and the Music of his Time