If nitric acid is derived from the nitrate ion, what is the formula for nitric acid?