4-(o-Hydroxyphenyl)-3-buten-2-one, sodium salt AIDS-017762 AIDS017762