(S)-2-tert-Butylcarbamoyl-1-[(R)-2-((8S,11S)-8-carbamoylmethyl-6,9-dioxo-2-oxa-7,10-diaza-bicyclo[11.2.2]heptadeca-1(16),13(17),14-trien-11-yl)-2-hydroxy-ethyl]-piperidinium AIDS-080635 AIDS080635