Konung Alfonso och don Carlos.