AIDS-167014 AIDS167014 alpha-D-Isosacharino-1,4-lactone acetonide