Gravar-mail: Dihydroxythiophenes Are Novel Potent Inhibitors of Human Immunodeficiency Virus Integrase with a Diketo Acid-Like Pharmacophore