.beta.-Lactam derivative AIDS-110376 AIDS110376 [(3S,4S)-3-Methyl-2-oxo-4-benzylazetidinyl]-N-(4-pyridylpropyl)carboxamide