The prophecy thqat a virgin would bear a son was given to a King of Judah. Who was the king?