8-(1-Naphthyl)-7-oxa-4-thia-1-azabicyclo[3.2.1]octane 4,4-dioxide AIDS-131534 AIDS131534 NSC623980