AIDS-121229 AIDS121229 Ethenesulfonamide, N-[(3R)-2-oxo-3-oxetanyl]-2-phenyl-, (E)- N-(trans-beta-Styrenesulfonyl)-D-serine-beta-lactone