Ist Valproinsäure gegen HIV wirksam?