(3S,5R)-atorvastatin