AIDS-092805 AIDS092805 N-[(2S)-2-(3,4-dichlorophenyl)-4-(1-oxospiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-10-yl)butyl](tert-butoxy)-N-methylcarboxamide