Who was the prophet who was known for his message of judgment against Israel and for predicting the coming of a virgin who would give birth to a son?