AIDS-121231 AIDS121231 Ethenesulfonamide, N-[(3S)-2-oxo-3-oxetanyl]-2-phenyl-, (E)- N-(trans-beta-Styrenesulfonyl)-1-serine-beta-lactone