AIDS-093507 AIDS093507 Acetic acid (R)-1-butylcarbamoyl-4-oxo-azetidin-2-yl ester