AIDS-167657 AIDS167657 [1-(4-Oxo-4H-thieno[3,2-d][1,3]oxazin-2-yl)-ethyl]-carbamic acid, tert-butyl ester