Which of the following allotropes of carbon is known as the hardest known mineral