AIDS-015404 AIDS015404 Acetic acid 6-ethoxycarbonylamino-3-oxo-2,8-dioxa-bicyclo[3.2.1]oct-7-yl ester NSC639825