Asus Rog Bios Key

You should be able to format it using any formatting utility, boot to a Windows ISO or Linux Live and format the drive. If the Hard Drive is locked with a password, that is different and I am not sure how to get around that easily.