3-Dibenzothiophenamine, 5, 5-dioxide AIDS-020167 AIDS020167